solving systems of linear inequalities